../../tests_c/instr.pl